tools/firmware: Fix ovmf build with gcc version different from 4.4
authorfantonifabio@tiscali.it <fantonifabio@tiscali.it>
Mon, 18 Mar 2013 10:59:53 +0000 (10:59 +0000)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Mon, 25 Mar 2013 12:37:03 +0000 (12:37 +0000)
commit753d16c1d0d5e194546de1a9f67034d3e6576844
tree297c99dc68c1074902e3f0410a26a2bde31af494
parent72af01bf6f7489e54ad59270222a29d3e8c501d1
tools/firmware: Fix ovmf build with gcc version different from 4.4

Signed-off-by: Fabio Fantoni <fabio.fantoni@m2r.biz>
tools/firmware/ovmf-makefile